Bases for parametrized iterativity

نویسندگان

  • Jirí Adámek
  • Stefan Milius
  • Jiri Velebil
چکیده

Parametrized iterativity of an algebra means the existence of unique solutions of all finitary recursive systems of equations where recursion is allowed to use only some variables (chosen as a parameter). We show how such algebras can be introduced in an arbitrary category A by employing a base, i.e., an operation interpreting objects of A as monads on A. For every base we prove that free base algebras and free iterative base algebras exist. The main result is a coalgebraic construction of the latter: all equation morphisms form a diagram whose colimit is proved to be a free iterative base algebra.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Iterative Algebras for a Base

For algebras A whose type is given by an endofunctor, iterativity means that every flat equation morphism in A has a unique solution. In our previous work we proved that every object generates a free iterative algebra, and we provided a coalgebraic construction of those free algebras. Iterativity w.r.t. an endofunctor was generalized by Tarmo Uustalu to iterativity w.r.t. a “base”, i.e., a func...

متن کامل

A Training Set and Multiple Bases Generation Approach for Parametrized Model Reduction Based on Adaptive Grids in Parameter Space

Modern simulation scenarios require real-time or many-query responses from a simulation model. This is the driving force for increased efforts in Model Order Reduction (MOR) for high dimensional dynamical systems or partial differential equations (PDEs). This demand for fast simulation models is even more critical for parametrized problems. Several snapshot-based methods for basis construction ...

متن کامل

ESI The Erwin

Certain combinatorial bases of Feigin-Stoyanovsky’s type subspaces of level k standard modules for affine Lie algebra sl(r,C)e are parametrized by (k, r)-admissible configurations. In this note we use Capparelli-LepowskyMilas’ method to give a new proof of linear independence of these bases, the main ingredient in the proof being the use of Dong-Lepowsky’s intertwining operators for fundamental...

متن کامل

(k, r)-ADMISSIBLE CONFIGURATIONS AND INTERTWINING OPERATORS

Certain combinatorial bases of Feigin-Stoyanovsky’s type subspaces of level k standard modules for affine Lie algebra sl(r, C)̃ are parametrized by (k, r)-admissible configurations. In this note we use Capparelli-LepowskyMilas’ method to give a new proof of linear independence of these bases, the main ingredient in the proof being the use of Dong-Lepowsky’s intertwining operators for fundamental...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Inf. Comput.

دوره 206  شماره 

صفحات  -

تاریخ انتشار 2008